Identifying High-Level Components in Combinational Circuits
نویسندگان
چکیده
The problem of nding meaningful subcircuits in a logic layout appears in many contexts in computer-aided design. Existing techniques rely upon nding exact matchings of subcircuit structure within the layout. These syntactic techniques fail to identify functionally equivalent subcircuits that are diierently implemented, optimized, or otherwise obfuscated. We present a mechanism for identifying functionally equivalent sub-circuits that can overcome many of these limitations. Such semantic matching is particularly useful in the eld of design recovery.
منابع مشابه
Transistor Level Implementation of Cyclic Combinational Circuits
Combinational Circuits are defined as the circuit whose output depends on present inputs only and are memory less.Thesecircuits are generally acyclic (feed-forward) but cyclic circuits can be combinational where cycles sometimes occur in designs synthesized from high-level descriptions. Feedbackinsuch cases is carefully contrived when functional units are connected in a cyclic topology. Deliber...
متن کاملConstructive Analysis of Cyclic Circuits ( EDTC , Paris , March 1996 )
Traditionally, circuits with combinational loops are found only in asynchronous designs. However, combinational loops can also be useful for synchronous circuit design. Combinational loops can arise from high-level language behavioral compiling, and can be used to reduce circuit size. We provide a symbolic algorithm that detects if a sequential circuit with combinational loops exhibits standard...
متن کاملPolynomial circuit models for component matching in high-level synthesis
Design reuse requires engineers to determine whether or not an existing block implements desired functionality. If a common high-level circuit model is used to represent components that are described at multiple levels of abstraction, comparisons between circuit specifications and a library of potential implementations can be performed accurately and quickly. A mechanism is presented for compac...
متن کاملVerified Compilation of Space-Efficient Reversible Circuits
The generation of reversible circuits from high-level code is in important problem in several application domains, including low-power electronics and quantum computing. Existing tools compile and optimize reversible circuits for various metrics, such as the overall circuit size or the total amount of space required to implement a given function reversibly. However, little effort has been spent...
متن کاملHierarchical physical defect reasoning in digital circuits
We propose a hierarchical physical defect-oriented approach for fault diagnosis in combinational digital circuits. We present the circuit as a network of modules. As modules we consider either library components (e.g. complex gates) of digital circuits or arbitrary subcircuits. The higher level fault diagnosis is carried out in two phases. In the first phase, faulty modules are located by cause...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998